<?php

if (isset($time_start)) {
	$time_end = microtime(true);
	$time = $time_end - $time_start;
	echo "<p align=\"right\">Page loaded in $time seconds</p>";
};

?>